Logic in China - PDFSEARCH.IO - Document Search Engine

Logic in China
Results: 22

#	Item
1	An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
2	WCCI July 6-‐11, 2014, Beijing, China Fuzzy Image Processing: A Tutorial Professor Hamid R. Tizhoosh University of Waterloo, Canada Add to Reading List Source URL: www.conference123.org Language: English - Date: 2014-07-16 23:21:59 Fuzzy logic Logic Artificial intelligence Mathematical logic Academia Logic in computer science Image segmentation Type-2 fuzzy sets and systems Fuzzy set
3	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
4	Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2016-04-27 03:06:22 Symposium on Principles of Programming Languages Programming Language Design and Implementation ACM SIGACT ACM Transactions on Programming Languages and Systems Symposium on Logic in Computer Science SIGPLAN
5	Automated Verification of Shape, Size and Bag Properties via User-Defined Predicates in Separation Logic ∗ Wei-Ngan China , Cristina Davida , Huu Hai Nguyena , and Shengchao Qinb† a Department of Computer Science, N Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2013-07-17 21:22:36
6	Pure Inductive Logic Winter School in Logic, Guangzhou, China, 2010 Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2011-01-07 04:28:20
7	TOTAL PHASE Total Phase Features the Beagle™ USB 5000 SuperSpeed Protocol Analyzer, Winner of the 2012 Best in Test Award, at the Intel Developer Forum in Beijing Intel Developer Forum, Beijing, China – April 11, 201 Add to Reading List Source URL: www.usb.org Language: English - Date: 2012-04-10 19:46:18 Technology Computer hardware Universal Serial Bus USB 3.0 Logic analyzer Embedded systems Electronics Total Phase
8 $Formal methods / Logic in computer science / Theoretical computer science / Formal verification / Sun Yat-sen University / Sun Yat-sen / Logic programming / Guangzhou / Chinese people / Guangdong / Provinces of the People\'s Republic of China$	Institute for Integrated and Intelligent Systems Speaker: Professor Yongmei Liu - Sun Yat-sen University in Guangzhou Date: Add to Reading List Source URL: www.griffith.edu.au Language: English - Date: 2014-08-21 03:08:32 Formal methods Logic in computer science Theoretical computer science Formal verification Sun Yat-sen University Sun Yat-sen Logic programming Guangzhou Chinese people Guangdong Provinces of the People\'s Republic of China
9	Index of the Section Bibliographical Study Guides Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:27:18 Philosophy Indian logic Logic in China Logic Ontology Buddhist logic Logic in Islamic philosophy Jerzy Perzanowski Indian philosophy Science Knowledge
10	Index of the Section Bibliographical Study Guides Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-06 06:42:07 Philosophy Indian logic Logic in China Logic Ontology Buddhist logic Logic in Islamic philosophy Jerzy Perzanowski Indian philosophy Science Knowledge

UPDATE